Polygon zkEVM

3. zkEVM

3-x. Bridge

L1, L2それぞれのhistoryを管理する

Asset Transfer Process

L1からL2

asset transferが追加されると新しいexit leafがL1のexit leafに追加される

資産をL2にbridgeするときにglobal exit rootをmerkle proofをチェックし

L2からL1

L2のexit treeに追加されて、exit leafがexit rootに追加されて、global exit rootが更新される

3つのコントラクト

PolygonZkEVMBridge.sol

bridgeとclaim

exit leafをL2 exit treeに追加する

PolygonZkEVMGlobalExitRoot.sol

Global Exit Tree Rootの管理を行う

Global Exit Rootの更新を担当

Global Exit Rootの履歴を保存

L1とL2に一つずつ展開される

PolygonZkEVM.sol

L1に配置されるコンセンサス

https://zkevm.polygon.technology/assets/images/04pzb-overall-interact-bridge-scs-4d3b89631548bbed170c2cfdc0db6d4a.png

3-x. zkProver

zkpを生成するやつ